אנגלית ⇄ רוסית +

alternating-time temporal logic מתח
.תִכנו	логика альтернированного времени (ssn)